国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文OA文獻(xiàn) >Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic
【2h】

Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic

機(jī)譯：通過Tile Logic的開放術(shù)語和術(shù)語圖的雙相似性同余

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻(xiàn)查詢和代理獲取服務(wù)，本網(wǎng)站沒有原文。下單后我們將采用程序或人工為您竭誠獲取高質(zhì)量的原文，但由于OA文獻(xiàn)來源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻(xiàn)不完整或與標(biāo)題不符等情況，如果獲取不到我們將提供退款服務(wù)。請知悉。
  • 摘要
  • 著錄項(xiàng)
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

The definition of SOS formats ensuring that bisimilarity on closed terms is a congruence has received much attention in the last two decades. For dealing with open terms, the congruence is usually lifted from closed terms by instantiating the free variables in all possible ways; the only alternatives considered in the literature are Larsen and Xinxin's context systems and Rensink's conditional transition systems. We propose an approach based on tile logic, where closed and open terms are managed uniformly, and study the `bisimilarity as congruence' property for several tile formats, accomplishing different concepts of open system.
機(jī)譯：在過去的二十年中，確保在封閉條件下的雙相似性是一致的SOS格式的定義受到了廣泛關(guān)注。對于開放術(shù)語，通常通過以所有可能的方式實(shí)例化自由變量來從封閉術(shù)語中消除一致性。文獻(xiàn)中考慮的唯一替代方法是Larsen和Xinxin的上下文系統(tǒng)以及Rensink的條件轉(zhuǎn)移系統(tǒng)。我們提出了一種基于切片邏輯的方法，其中對封閉和開放術(shù)語進(jìn)行統(tǒng)一管理，并研究了幾種切片格式的“雙相似性為一致”屬性，從而實(shí)現(xiàn)了開放系統(tǒng)的不同概念。

著錄項(xiàng)

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號